Big Huge Thesaurus

symbolic logic

noun

• mathematical logic
• formal logic
• logic
• logical system
• system of logic